Exercise logic.propositional.axiomatic

Description
Axiomatic proofs

Code	logic.propositional.axiomatic
Status	Experimental
Strategy	axiomatic
Rules	6
Buggy rules	0
OpenMath support	no
Restartable strategy	yes
Exercise generator	no
Examples	9

Example exercises

• list of examples

• other exercise: